Định nghĩa theo đệ quy Đệ_quy

Một khái niệm X được định nghĩa theo đệ quy nếu trong định nghĩa X có sử dụng ngay chính khái niệm X.

- 0 là một số tự nhiên.- n là số tự nhiên nếu n - 1 là số tự nhiên.